Theorem prover - PDFSEARCH.IO - Document Search Engine

Theorem prover
Results: 85

#	Item
31	Subproblem Finder and Instance Checker, Two Cooperating Modules for Theorem Provers DENNIS DE CHAMPEAUX University of Amsterdam, The Netherlands Abstract. Properties are proved about INSTANCE, a theorem prover module tha Add to Reading List Source URL: wiki.mizar.org Language: English - Date: 2006-02-10 04:09:08
32	GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2011-03-31 07:54:02
33	GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2011-03-31 07:54:02
34	ileanTAP: An Intuitionistic Theorem Prover Jens Otten? Fachgebiet Intellektik, Fachbereich Informatik Technische Hochschule Darmstadt Alexanderstr. 10, 64283 Darmstadt, Germany Add to Reading List Source URL: www.jens-otten.de Language: English - Date: 2012-03-30 11:05:53
35	1. Introduction. 1.1 Aims of the project. The axiomatic translation [1] is a method for converting propositional modal logic into first-order logic, which can then be solved with standard first-order logic theorem prover Add to Reading List Source URL: project.kjsmith.net Language: English - Date: 2008-09-02 15:19:21
36	Not quite synchronous enough Compositional invariant proofs of reactive systems in an interactive theorem prover (Isabelle/HOL) Timothy Bourke INRIA Paris-Rocquencourt Add to Reading List Source URL: synchron2014.inria.fr Language: English - Date: 2014-12-05 03:13:32
37	PDF Document Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-10 09:41:34 Automated theorem proving Usability KeY Automated reasoning Proof assistant Reasoning system Formal verification E theorem prover Isabelle Software testing Geoff Sutcliffe Software verification
38	An Interpolating Theorem Prover K. L. McMillan Cadence Berkeley Labs Abstract We present a method of deriving Craig interpolants from proofs in the quantifier-free Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:18
39	Embedding Deduction Modulo into a Prover Guillaume Burel Max Planck Institute for Informatics Saarland University Saarbr¨ ucken, Germany Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:07 Automated theorem proving Deduction Propositional calculus Rules of inference Sequent calculus Entailment Cut-elimination theorem Resolution Natural deduction Logic Mathematical logic Proof theory
40	Carl Eastlund Northeastern University College of Computer and Information Science West Village H 330 Boston, MA 02115 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-03-30 13:34:33 Functional languages Year of birth missing Automated theorem proving ACL2 Lisp programming language Formal methods Matthias Felleisen Racket Theorem prover Software engineering Computing Computer programming